-
1 non-empty set
Англо-русский словарь по компьютерной безопасности > non-empty set
-
2 non-empty
прил.мат. непустой ( характеристка множества)A set is non-empty if it contains at least one element. — Множество является непустым, если оно содержит хотя бы один элемент.
Ant:See: -
3 set
-
4 set
1) набор
2) выметывать
3) задать
4) затвердевать
5) комплект
6) оклад
7) откорректировать
8) сет
9) упирать
10) установивший
11) помещать
12) множество
13) установленный
14) агрегат
15) агрегация
16) ансамбль
17) класс
18) партия
19) полагать
20) поставленный
21) семейство
22) сочетание
23) включать
– absorption of a set
– antipodal set
– automatic set point
– ball set hammer
– bargaining set
– belong to set
– bevel set hammer
– cardinality of a set
– carried set
– carrier set
– cluster set
– coal-getting set
– combination set
– compensation set
– complement of set
– complete set
– constitute set
– convergence set
– countable set
– course set
– creative set
– cup-point set screw
– data set
– data set allocation
– degenerate set
– dendritic set
– denumerable set
– derived set
– diameter of set of points
– Diesel-electric set
– Diesel-generator set
– directed set
– element of set
– emergency set
– empty set
– enchained set
– enumerable set
– exciter set
– factor set
– fluctuation are set up
– fluctuations are set up
– flywheel set
– gear set
– generating set
– have set pattern
– heading set
– headless set screw
– house set
– if we set
– inclusion in a set
– incompletable set
– indexing set
– infinite set
– information set
– inhibit set of concrete
– instruction set
– interior of set
– inverse set
– limit set
– meager set
– measurable set
– mobile set
– motion-picture set lighting
– motor-generator set
– non-denumerable set
– non-enumerable set
– nowhere-dense set
– null set
– open set
– opening set
– operator's set
– ordered set
– oscillator is set up as
– point set
– power-generating set
– product set
– productive set
– promote set of concrete
– quotient set
– radio set
– range set
– reference set
– retard set of concrete
– ringing set
– round set hammer
– scattered set
– separating set
– set a map
– set a problem
– set a seine
– set a tire
– set analyzer
– set aside for
– set azimuth
– set conditions for
– set controller
– set cross-hairs
– set data into
– set data manually
– set forth
– set forth above
– set in
– set in agate
– set in motion
– set is closed
– set lighting
– set limit to
– set of Belleville springs
– set of current
– set of drawing instruments
– set of equations
– set of five
– set of gate patterns
– set of gauge blocks
– set of gears
– set of logical elements
– set of measure zero
– set of operations
– set of patterns
– set of problems
– set of symbols
– set of technical aids
– set of three
– set of warp
– set of weft
– set off
– set off charge in blast-hole
– set pace
– set pace of development
– set parking brake
– set pin
– set plumb
– set pole
– set rivet
– set saw
– set screw
– set slide to
– set solid
– set stud
– set telescope
– set terminal
– set the center-punch
– set the heading
– set the vale
– set theory
– set tire on wheel
– set to unity
– set to zero
– set up
– set up a channel
– set up a level
– set up as anode
– set up call
– set up correspondence
– set up datum line
– set up depreciation fund
– set up equation
– set up fixed frequency
– set up frequency
– set up machine
– set up network analyzer
– set up plane table
– set up ray
– set up unit
– set up vibrations
– set voltmeter to zero
– set watch backward
– set watch forward
– shaft-sinking set
– short-wave set
– Sierpinski set
– snap set
– socket-powered set
– spanning set
– spring set
– square set hammer
– station set
– subscriber set
– subscriber's set
– table set
– table-top set
– tame set
– telephone set
– terminal set
– test set
– thin set
– to set
– transitivity set
– turbine-driven set
– turbine-generator set
– uncountable set
– well-ordered set
accomplish operations on set — производить операция над множество
angular cluster set — <math.> множество угловых предельных значений, угловое граничное множество
boundary cluster set — <math.> множество граничных предельных значений
fundamental probability set — множество элементарных событий
key pulsing telephone set — телефонный аппарат с кнопочным номеронабирателем
multi-operator welding set — многопостовой сварочный аппарат
operator's telephone set jack — гнездо гарнитуры телефонистки
recursively enumerable set — рекурсивное перечислимое множество
reflection measuring set — < radio> измеритель неоднородности линии
semiconductor assembly set — набор полупроводниковых приборов
set antenna to bear on an object — наводить антенну на объект
set triangle against T-square — прикладывать угольник к рейсшине
set up connection between caller — осуществлять соединение абонентов
single-operator welding set — однопостовой сварочный аппарат
transmission measuring set — измеритель затухания тракта, <tech.> аттенюометр, пегельмессер, указатель уровня передачи, уровнемер
-
5 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
6 talk
1. nразговор, беседа; pl переговорыmore peace talks are going to take place / getting underway / lie ahead — переговоры о мирном урегулировании будут продолжены
to be more flexible in the talks — проявлять бо́льшую гибкость на переговорах
to begin (the) talks — начинать / открывать переговоры
to bring a country into the talks between smb — вовлекать / подключать какую-л. страну к переговорам между кем-л.
to come to the talks empty-handed — приходить на переговоры с пустыми руками ( без новых предложений)
to complete / to conclude talks — завершать переговоры
to damage the talks — вредить / мешать / препятствовать переговорам, подрывать переговоры
to demand a prompt resumption of peace talks — требовать скорейшего возобновления переговоров о мире
to derail / to disrupt the talks — срывать переговоры
to dominate the two days of talks — быть главным вопросом на переговорах, которые продлятся два дня
to extend talks amid reports of smth — продлевать переговоры, в то время как поступают сообщения о чем-л.
to hamper the talks — вредить / мешать / препятствовать переговорам, подрывать переговоры
to have / to hold further / more talks with smb — проводить дальнейшие переговоры / продолжать переговоры с кем-л.
to hold talks at the request of smb — проводить переговоры по чьей-л. просьбе
to hold talks in an exceptionally warm atmosphere — вести переговоры в исключительно теплой атмосфере
to iron out difficulties in the talks — устранять трудности, возникшие в ходе переговоров
to maintain one's talks for 10 days — продолжать переговоры еще 10 дней
to make good / substantial progress at / in the talks — добиваться значительного / существенного успеха на переговорах
to make smb more flexible in the talks — заставлять кого-л. занять более гибкую позицию на переговорах
to obstruct the talks — вредить / мешать / препятствовать переговорам, подрывать переговоры
to offer unconditional talks to smb — предлагать кому-л. провести переговоры, не сопровождаемые никакими условиями
to open (the) talks — начинать / открывать переговоры
to push forward the talks — активизировать переговоры; давать толчок переговорам
to put the proposals to arms reduction talks — ставить предложения на рассмотрение участников переговоров о сокращении вооружений
to re-launch / to reopen talks — возобновлять переговоры
to restart / to resume talks — возобновлять переговоры
to resume talks after a lapse of 18 months — возобновлять переговоры после полуторагодового перерыва
to schedule talks — намечать / планировать переговоры
to start (the) talks — начинать / открывать переговоры
to steer a diplomatic course in one's talks — проводить дипломатическую линию на переговорах
to stymie the talks — вредить / мешать / препятствовать переговорам, подрывать переговоры
to torpedo the talks — вредить / мешать / препятствовать переговорам, подрывать переговоры
- accession talksto walk out of / to withdraw from talks — уходить с переговоров, отказываться от продолжения переговоров
- after a full day of talks
- ambassadorial talks
- ambassadorial-level talks
- another round of talks gets under way today
- arduous talks
- arms control talks
- arms talks
- backstage talks
- barren talks
- beneficial talks
- bilateral talks
- bittersweet talk
- border talks
- breakdown in talks
- breakdown of talks - businesslike talks
- by means of talks
- by talks
- call for fresh talks
- carefully prepared talks
- cease-fire talks
- CFE talks
- coalition talks
- collapsed talks
- completion of talks
- conduct of talks
- confidential talks
- confrontational talks
- constructive talks
- conventional arms control talks
- conventional forces in Europe talks
- conventional stability talks
- conventional talks
- conventional-force talk
- cordial talks
- crux of the talks
- current round of talks
- deadlocked talks
- delay in the talks
- detailed talks
- direct talks
- disarmament talks
- discreet talks
- disruption of talks
- divisive talks
- early talks
- election talk
- emergency talks
- equal talks
- Europe-wide talks
- exhaustive talks
- exploratory talks
- extensive talks
- face-to-face talks
- failure at the talks
- failure of the talks
- familiarization talks
- farewell talks
- final round of talks
- follow -up talks
- follow-on talks
- force-reduction talks
- formal talks
- forthcoming talks
- four-way talks
- frank talks
- fresh round of talks
- fresh talks
- friendly atmosphere in the talks
- friendly talks
- frosty talks
- fruitful talks
- fruitless talks
- full talks
- full-scale talks
- further talks
- get-to-know-you talks
- good-faith talks
- hard-going talks
- highest-level talks
- high-level talks
- in a follow-up to one's talks
- in the course of talks
- in the last round of the talks
- in the latest round of the talks
- in the talks
- inconclusive talks
- indirect talks
- industrial promotion talks
- informal talks
- intensive talks
- intercommunal talks
- interesting talks
- interparty talks
- last-ditch talks
- last-minute talks
- lengthy talks
- low-level talks
- make-or-break talks
- man-to-man talks
- marathon talks
- MBFR talks
- meaningful talks
- mediator in the talks
- membership talks
- ministerial talks
- more talks
- multilateral talks
- Mutual and Balanced Force Reduction talks
- news lockout during the talks
- no further talks are scheduled
- non-stop talks
- normalization talks
- nuclear and space arms talks
- observer at the talks
- offer of talks
- on-and-off talks
- Open Skies Talk
- open talks
- outcome of the talks
- pace of the talks
- participant in the talks
- parties at the talks
- pay talks
- peace talks
- pep talk
- political talks
- positive talks
- preliminary talks
- preparatory talks
- present at the talks are...
- pre-summit talks
- pre-talks
- prime-ministerial talks
- private talks
- productive talks
- profound talks
- programmatic talk
- proposed talks
- proximity talks
- rapid progress in talks
- rapprochement talks
- realistic talks
- renewal of talks
- resumed talks
- resumption of talks
- reunification talks - sales talks
- SALT
- scheduled talks
- secret talks
- security talks
- sensible talks
- separate talks
- serious talks
- session of the talks
- setback in the talks
- sincere talks
- stage-by-stage talks
- stormy talks
- Strategic Arms Limitation Talks
- Strategic Arms Reduction Talks
- substantial talks
- substantive talks
- successful progress of the talks
- summit talks
- talk was conducted in an atmosphere
- talk was held in an atmosphere
- talk will be dominated by the row which...
- talks about talk
- talks are alarmingly behind schedule
- talks are at a standstill
- talks are critical
- talks are deadlocked
- talks are due to resume
- talks are getting nowhere
- talks are going ahead
- talks are going well
- talks are heading for deadlock
- talks are in doubt
- talks are in high gear
- talks are in jeopardy
- talks are into their final day
- talks are not going fast enough
- talks are only a start
- talks are progressing at a snail's pace
- talks are progressing smoothly
- talks are progressing well
- talks are set to fail
- talks are stalemated
- talks are still on track
- talks are taking place in a constructive atmosphere
- talks are underway
- talks at a ministerial level
- talks at the highest level
- talks at the level of deputy foreign ministers
- talks between smb have run into last-minute difficulties
- talks between the two sides
- talks bogged down on smth
- talks broke down
- talks came to a standstill
- talks center on smth
- talks collapsed
- talks come at a time when...
- talks concentrate on
- talks dragged on for years
- talks ended in agreement
- talks ended in failure
- talks ended inconclusively
- talks ended without agreement
- talks failed to make any progress
- talks faltered on smth
- talks foundered on smth
- talks get underway
- talks go into a second day
- talks go on
- talks had a successful start
- talks had been momentous
- talks hang by a thread
- talks hang in the balance
- talks have been constructive and businesslike
- talks have broken up in failure
- talks have ended on an optimistic note
- talks have ended with little sign of agreement
- talks have ended with little sign of program
- talks have fallen through
- talks have got off to a friendly start
- talks have got off to a successful start
- talks have made little progress towards peace
- talks have never been closer to an agreement
- talks have reached deadlock
- talks have reopened
- talks have run into difficulties
- talks have run into trouble
- talks inch forward
- talks is burgeoning again about...
- talks made progress
- talks may continue into tomorrow
- talks may not get off the ground
- talks now under way
- talks of peace
- talks of procedural nature
- talks on a range of issues
- talks on conventional stability
- talks open
- talks overran by half an hour
- talks overshadowed by smth
- talks produced no results
- talks reconvene
- talks remain deadlocked
- talks restart
- talks resume
- talks stalled over the issue
- talks under the auspices of smb
- talks went into the small hours of the morning
- talks went late into the night
- talks went on late into the night
- talks went smoothly
- talks were due to start a month ago
- talks were not conclusive
- talks were suspended
- talks were warm, friendly and cordial
- talks will cover smth
- talks will focus on smth
- talks will go ahead
- talks will take place at the undersecretaries of foreign affairs level
- talks will yield an agreement
- talks with smb are not acceptable
- talks with the mediation of smb
- talks without preconditions
- talks would make little headway
- the agreement was signed at the end of 5 days of talks
- the area affected in the talks
- the outcome of the talks is not easy to predict
- the pace of the talks is slow
- the progress of the talks
- there was a sense of achievement at the end of the talks
- this problem will be at the heart of the talks
- those in the talks
- three days of talks have failed to make any tangible progress
- three-sided talks
- three-way talks
- too much talks and not enough action
- top-level talks
- touchstone of progress in the talks
- trade talks
- trilateral talks
- tripartite talks
- two-way talks
- umbrella peace talks
- unconditional talks
- United Nations-mediated talks
- United Nations-sponsored talks
- unity talks
- unofficial talk
- unproductive talks
- unscheduled talks
- useful talks
- walkout from the talks
- weighty talks
- wide range of talks
- wide-ranging talks
- workmanlike talks 2. vвести беседу, разговариватьto talk about smth — вести переговоры о чем-л.
to talk to smb direct — вести с кем-л. прямые переговоры
to talk to smb through a third party — вести переговоры с кем-л. через посредника
to talk tough — вести беседу / говорить резко
См. также в других словарях:
Empty set — ∅ redirects here. For similar looking symbols, see Ø (disambiguation). The empty set is the set containing no elements. In mathematics, and more specifically set theory, the empty set is the unique set having no elements; its size or cardinality… … Wikipedia
non-empty — adjective Of a set, containing at least one element; not the empty set … Wiktionary
Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… … Wikipedia
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences … Wikipedia
Non-standard model — See also Interpretation (logic) In model theory, a discipline within mathematical logic, a non standard model is a model of a theory that is not isomorphic to the intended model (or standard model). If the intended model is infinite and the… … Wikipedia
Empty domain — In first order logic the empty domain is the empty set having no members. In traditional and classical logic domains are restrictedly non empty in order that certain theorems be valid. Interpretations with an empty domain are shown to be a… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
König's theorem (set theory) — For other uses, see König s theorem. In set theory, König s theorem (named after the Hungarian mathematician Gyula König) colloquially states that if the axiom of choice holds, I is a set, mi and ni are cardinal numbers for every i in I , and m i … Wikipedia